theor of programming

См. также в других словарях:

• Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… …   Wikipedia

• Список зарубежных научных журналов ВАК Минобрнауки России с 2007 года — Список зарубежных научных журналов ВАК Минобрнауки России на 2006 год перечень ведущих рецензируемых научных журналов, включенных Высшей аттестационной комиссией России в список изданий, рекомендуемых для опубликования основных научных… …   Википедия

• Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… …   Wikipedia

• Fexpr — In Lisp programming languages, a fexpr is a function whose operands are passed to it without being evaluated. When a fexpr is called, only the body of the fexpr is evaluated; no other evaluations take place except when explicitly initiated by the …   Wikipedia

• Clyde Kruskal — Born May 25, 1954 (1954 05 25) (age 57) Nationality American Occupation Computer Scientist Known for Parallel computing …   Wikipedia

• Сверхтьюринговые вычисления — Сверхтьюринговыми вычислениями (или гипервычислениями (англ. hypercomputation)) называются такие вычисления, которые не могут быть проделаны на машине Тьюринга. Они включают в себя разнообразные гипотетические методы, основанные на… …   Википедия

• History of artificial life — The idea of human artifacts being given life has fascinated mankind for as long as men have been recording their myths and stories. Whether Pygmalion or Frankenstein, mankind has been fascinated with the idea of artificial life. Pre computer… …   Wikipedia

• Peter Buneman — Infobox Scientist name = Peter Buneman image width = caption = birth date = birth place = death date = death place = residence = Edinburgh, United Kingdom citizenship = British nationality = British ethnicity = field = Computer Science work… …   Wikipedia

• Evolution — This article is about evolution in biology. For other uses, see Evolution (disambiguation). For a generally accessible and less technical introduction to the topic, see Introduction to evolution. Part of a series on …   Wikipedia

• Splay tree — A splay tree is a self balancing binary search tree with the additional property that recently accessed elements are quick to access again. It performs basic operations such as insertion, look up and removal in O(log(n)) amortized time. For many… …   Wikipedia

• Junk DNA — In molecular biology, junk DNA is a provisional label for the portions of the DNA sequence of a chromosome or a genome for which no function has been identified. Scientists expect to find functions for some, but not all,Fact|date=September 2008… …   Wikipedia